1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3L9LK8B |
Repositório | sid.inpe.br/mtc-m21b/2016/03.03.16.36 (acesso restrito) |
Última Atualização | 2016:07.13.12.49.31 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2016/03.03.16.36.13 |
Última Atualização dos Metadados | 2018:06.04.02.40.36 (UTC) administrator |
DOI | 10.1007/s11334-015-0267-1 |
ISSN | 1614-5046 |
Chave de Citação | RomeroSchnFerr:2016:SeSpSy |
Título | Semantics in space systems architectures |
Ano | 2016 |
Mês | Mar. |
Data de Acesso | 10 maio 2024 |
Tipo de Trabalho | journal article |
Tipo Secundário | PRE PI |
Número de Arquivos | 1 |
Tamanho | 431 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Mauricio Gonçalves Vieira |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
Grupo | 1 CMC-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 romgerale@yahoo.com.br 2 klaus.schneider@cs.uni-kl.de 3 mauricio.ferreira@inpe.br |
Revista | Innovations in Systems and Software Engineering |
Volume | 12 |
Número | 1 |
Páginas | 27-40 |
Nota Secundária | B3_INTERDISCIPLINAR B3_ENGENHARIAS_IV B3_ENGENHARIAS_III B3_CIÊNCIA_DA_COMPUTAÇÃO |
Histórico (UTC) | 2016-03-03 16:36:13 :: simone -> administrator :: 2016-07-04 12:29:58 :: administrator -> simone :: 2016 2016-12-22 14:29:22 :: simone -> administrator :: 2016 2018-06-04 02:40:36 :: administrator -> simone :: 2016 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | finaldraft |
Palavras-Chave | UML fUML Synchronous Modeling UPDM MODAF DODAF |
Resumo | Costs, life cycles, technologies and agreements between stakeholders and organizations make space systems unique with respect to the complexity. A commonly accepted technique to address part of this complexity is to model and to maintain space systems architectures through the life cycle of their space programs. The benefits may range from supporting consistent model definitions and maintenance up to supporting analysis and verification. Space systems architectures have been modeled using UPDM (unified profile for DoDAF And MODAF; a UML profile). In fact, UPDM argues that it provides a clearer understanding of the semantics behind specific views and viewpoints. Nonetheless, while UML defines its semantics imprecisely using plain text and variation points, UPDM does not define any semantics. In this paper, we evaluate an extension of fUML (semantics of a foundational subset for executable UML models) as a semantics for space systems architectures. The extension of fUML as a synchronous language (synchronous fUML) provides a limited, but formally precise and deterministic, form to describe structure and behavior in UML. Through the combination of this semantics with UPDM, a precise language supporting a standardized meta-model emerges for the definition of space systems architectures. At the end, a simplified case study covering the operational view (OV-*) is presented. Our initial results show that synchronous fUML is able to offer a precise and deterministic semantics for UPDM. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CMC > Semantics in space... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Semantics in space... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | romero_semantics.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | 8JMKD3MGP3W/3HD9A3H |
Repositório Espelho | urlib.net/www/2011/03.29.20.55 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2UALS 8JMKD3MGPCW/3F3PAJE |
Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.56.30 3 sid.inpe.br/bibdigital/2013/10.14.00.13 1 sid.inpe.br/bibdigital/2013/10.19.00.29 1 |
Divulgação | WEBSCI; PORTALCAPES; COMPENDEX; SCOPUS. |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarytype url |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|